Transmission lines emulating moving media
نویسندگان
چکیده
منابع مشابه
Transmission Lines Transmission Lines Fabric Port
We describe our experiences verifying real communications hardware using machine-assisted proof. In particular we re ect on the errors found, problems encountered and the bottlenecks that slowed the progress of the proofs. We also note techniques which would alleviate the problems. Most of the problems we discuss only become signi cant when large designs are veri ed.
متن کاملTransmission expansion planning based on merchandizing surplus of transmission lines
This paper proposes an optimal transmission expansion planning (TEP) which is based on determining share of each line in merchandizing surplus (MS) of system, determining by Independent System Operator (ISO). The more share of a line in MS of system denotes the priority of a line for expansion. The procedure of determining MS of each line in a power system is based on determining the MS share o...
متن کاملImplicitization using Moving Lines
where the equations a0x+ b0y + c0 = 0 and a1x+ b1y + c1 = 0 define any two distinct lines. It is known that any conic section can be “generated by the intersection of corresponding lines of two related pencils in a plane” [Som51], p.388. In other words, given two distinct pencils, (a00x+b00y+c00)(1−t)+(a10x+b10y+c10)t = 0 and (a01x+b01y+c01)(1−t)+(a11x+b11y+c11)t = 0, to each value of t corresp...
متن کاملImplicitization using Moving Lines
where the equations a0x+ b0y + c0 = 0 and a1x+ b1y + c1 = 0 define any two distinct lines. It is known that any conic section can be “generated by the intersection of corresponding lines of two related pencils in a plane” [Som51], p.388. In other words, given two distinct pencils, (a00x+b00y+c00)(1−t)+(a10x+b10y+c10)t = 0 and (a01x+b01y+c01)(1−t)+(a11x+b11y+c11)t = 0, to each value of t corresp...
متن کاملNonlinear Magnetoinductive Transmission Lines
Power transmission in one-dimensional nonlinear magnetic metamaterials driven at one end is investigated numerically and analytically in a wide frequency range. The nonlinear magnetic metamaterials are composed of varactor-loaded split-ring resonators which are coupled magnetically through their mutual inductances, forming thus a magnetoiductive transmisison line. In the linear limit, significa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Journal of Physics
سال: 2014
ISSN: 1367-2630
DOI: 10.1088/1367-2630/16/9/093065